#ifndef DETFINAUTTOREGGRAMMATICATEST_H_
#define DETFINAUTTOREGGRAMMATICATEST_H_

#include "testprogram.h"
#include <iostream>
#include <string>
#include "DetFinAut.h"
#include "RegGrammatica.h"
#include "DetFinAutToRegGrammatica.h"

using namespace std;

class detFinAutToRegGrammaticaTest :
	public TestProgram
{
public:
	detFinAutToRegGrammaticaTest();
	virtual ~detFinAutToRegGrammaticaTest();
protected:
	void testProgram();
};
#endif
